🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💧Liquid Types
Choosing Rust for LLM-generated code
runmat.org·36m·
Discuss: Hacker News
🦀Rust Macros
Death to Type Classes
jappie.me·6h·
Discuss: Hacker News
🧠Lisp Dialects
Early Bytes of Creativity – Forgotten Mainframe Games, Part I (2023)
zeitgame.net·1h·
Discuss: Lobsters
🕹️Retro Gaming
Digest #179: Vibe Coding Hype, DevOps Exercises, Terraform+MCP, Windows inside a Docker
devopsbulletin.com·4h
❄️Nix Adoption
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·23h
🔗Concatenative Programming
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·1d
💻Local LLMs
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
🔗Functional Compilers
NightMARE on 0xelm Street, a guided tour
elastic.co·18h
🧪Binary Fuzzing
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🔤Type Theory
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·1d
📝ABNF Parsing
The Data Backbone of LLM Systems
infoq.com·1d·
Discuss: Lobsters
🔗Constraint Handling
Fork that: Three alternative kernels show devs don't need Linux
theregister.com·3h
🔌Operating system internals
Continuous Improvement in LLM Code Generation
blogger.com·2d
⚔️Lean Tactics
Larry Wall – Present Continuous, Future Perfect (2006)
perl.org.il·5h·
Discuss: Hacker News
🐚Shell Calculus
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·2d·
Discuss: Hacker News, r/rust
🦀Rust Macros
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Shepherd × Goblins update
spritely.institute·2d
✨Effect Handlers
DHH is immortal, and costs $200M
danieltenner.com·4h·
Discuss: Hacker News
👑Isabelle
Automated Semantic Anomaly Detection in Hybrid Quantum-Classical Codebases via Formal Verification & Statistical Profiling
dev.to·12h·
Discuss: DEV
👁️System Observability